COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.require "let.pub" source
C00005 ENDMK
C⊗;
.require "let.pub" source
∂CSL Professor Georg Kreisel

Dear Professor Kreisel:

	I have been seeking a way to support Chris Goad as a Research
Associate.  I thought that DARPA (Defense Advanced Research Projects
Agency) would increase my contract with them for the purpose, but
after saying yes in March, in June they said probably not, but ask again
in January.  I have enough to temporize for a while, but decided to
seek support from NSF and asked Chris if he thought you would be
interested in being co-principal investigator on a proposal to NSF
that would support him and that you might want summer support from
such a proposal.  I am agreeable to whichever of the following
arrangements might suit you.

	1. To be co-principal investigator with you of a proposal that would
support Chris and his computer use.  I don't want any support for myself
from the grant, because my technical contributions are unlikely to justify
it, and I have other support.

	2. The same but including whatever additional support you require.

	3. You as sole principal investigator and including support
for Chris.

	If you prefer not to be involved, I will put in a proposal
for Chris's support.

	Chris has already prepared the technical part of a proposal
for his support.  It looks good to me, and it is enclosed.  If you
require support, then we need to precede it with your technical
proposal.

	I have discussed this matter with Pat Suppes, who thinks
this is a reasonable way to proceed.
He tells me that you have already written to Dr. Kraus of the mathematics
branch of NSF, and he expresses willingness to phone him.  I can also do
that though I haven't met him.  I can also pursue the computer science
part of NSF, although I have several other requests in there.

.sgn

cc: C. Goad

enclosure